La fascination et l'action à distance : questions médiévales (1230-1370)

De la linguistique descriptive à la linguistique appliquée en côte d’ivoire: analyse et propositions

4 مجله مطالعات زبان فرانسه، سال پنجم، شماره 8، بهار و تابستان 1392 گذار از زبانشناسی توصیفی به زبانشناسی کاربردی در کشور ساحل عاج: تحلیل و راهکارها پییر آدو کواکو کوادیو دانشگاه فلیکس هوفاعه بوانی، آبیجان -کوکودی، ساحل عاج [email protected] 1392/5/ 1391 تاریخ پذیرش: 23 /10/ تاریخ دریافت: 28 این مقاله در نظر دارد تحلیلی انتقادی از کاربستهای زبانشناسی کاربردی در ساحل عاج ارایه کند. در آفریقا، علیر...

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...

Contribution à l’Etude et à la Conception d’Agents Virtuels . . .

In this thesis, besides the developing a bilateral automated negotiation model between agents, in incomplete information state, integrating the personality effects of human on the negotiation process and outcomes, we proposed an architecture of such agents (―buyer‖ or ―seller‖). To do so, a new offer generation approach of three adaptive families of tactics has been proposed as follows: the tim...

Outils d'analyse de la dynamique des écritures médiévales. Pour l'aide à l'expertise paléographique

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Un essai de réponse à quelques questions théoriques et pratiques liées à la traduction automatique : définition d'un système prototype